$\exists$$e$=$k$($v$).$P$($e$;$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. kind($e$) $=$ $k$ \& $P$($e$;val($e$))